// Copyright (C) 2019 Toitware ApS.
// Use of this source code is governed by a Zero-Clause BSD license that can
// be found in the tests/LICENSE file.

class A:
  x := null

  constructor:
    x --val=499

class B extends A:
  x val:
    print "subclass would accept 'val'"


main:
  b := B
